namespace php {
extern Variant INPUT_POST;
extern Variant INPUT_GET;
extern Variant INPUT_COOKIE;
extern Variant INPUT_ENV;
extern Variant INPUT_SERVER;
extern Variant FILTER_FLAG_NONE;
extern Variant FILTER_REQUIRE_SCALAR;
extern Variant FILTER_REQUIRE_ARRAY;
extern Variant FILTER_FORCE_ARRAY;
extern Variant FILTER_NULL_ON_FAILURE;
extern Variant FILTER_VALIDATE_INT;
extern Variant FILTER_VALIDATE_BOOLEAN;
extern Variant FILTER_VALIDATE_BOOL;
extern Variant FILTER_VALIDATE_FLOAT;
extern Variant FILTER_VALIDATE_REGEXP;
extern Variant FILTER_VALIDATE_DOMAIN;
extern Variant FILTER_VALIDATE_URL;
extern Variant FILTER_VALIDATE_EMAIL;
extern Variant FILTER_VALIDATE_IP;
extern Variant FILTER_VALIDATE_MAC;
extern Variant FILTER_DEFAULT;
extern Variant FILTER_UNSAFE_RAW;
extern Variant FILTER_SANITIZE_STRING;
extern Variant FILTER_SANITIZE_STRIPPED;
extern Variant FILTER_SANITIZE_ENCODED;
extern Variant FILTER_SANITIZE_SPECIAL_CHARS;
extern Variant FILTER_SANITIZE_FULL_SPECIAL_CHARS;
extern Variant FILTER_SANITIZE_EMAIL;
extern Variant FILTER_SANITIZE_URL;
extern Variant FILTER_SANITIZE_NUMBER_INT;
extern Variant FILTER_SANITIZE_NUMBER_FLOAT;
extern Variant FILTER_SANITIZE_ADD_SLASHES;
extern Variant FILTER_CALLBACK;
extern Variant FILTER_FLAG_ALLOW_OCTAL;
extern Variant FILTER_FLAG_ALLOW_HEX;
extern Variant FILTER_FLAG_STRIP_LOW;
extern Variant FILTER_FLAG_STRIP_HIGH;
extern Variant FILTER_FLAG_STRIP_BACKTICK;
extern Variant FILTER_FLAG_ENCODE_LOW;
extern Variant FILTER_FLAG_ENCODE_HIGH;
extern Variant FILTER_FLAG_ENCODE_AMP;
extern Variant FILTER_FLAG_NO_ENCODE_QUOTES;
extern Variant FILTER_FLAG_EMPTY_STRING_NULL;
extern Variant FILTER_FLAG_ALLOW_FRACTION;
extern Variant FILTER_FLAG_ALLOW_THOUSAND;
extern Variant FILTER_FLAG_ALLOW_SCIENTIFIC;
extern Variant FILTER_FLAG_PATH_REQUIRED;
extern Variant FILTER_FLAG_QUERY_REQUIRED;
extern Variant FILTER_FLAG_IPV4;
extern Variant FILTER_FLAG_IPV6;
extern Variant FILTER_FLAG_NO_RES_RANGE;
extern Variant FILTER_FLAG_NO_PRIV_RANGE;
extern Variant FILTER_FLAG_GLOBAL_RANGE;
extern Variant FILTER_FLAG_HOSTNAME;
extern Variant FILTER_FLAG_EMAIL_UNICODE;
}
